Computability versus exact computability of martingales
نویسنده
چکیده
This note gives a simple example of a polynomial time computable martingale that has rational values but is not exactly computable.
منابع مشابه
Computability and recursion
We consider the informal concept of “computability” or “effective calculability” and twoof the formalisms commonly used to define it, “(Turing) computability” and“(general) recursiveness”. We consider their origin, exact technical definition, concepts, history, general English meanings, how they became fixed in their present roles, how they were first and are now used, their impact on nonspecia...
متن کاملAlgorithmic randomness over general spaces
Algorithmic randomness over general spaces has been considered such as an effective topological space and a computable metric space. In this paper we generalize algorithmic randomness to a computable topological space. First we define computable measures on a computable topological space and study computability of the evaluation. Next we define randomnesses via three approaches. Measure randomn...
متن کاملA Two-Layer Approach to the Computability and Complexity of Real Numbers
We present a new approach to computability of real numbers in which real functions have type-1 representations, which also includes the ability to reason about the complexity of real numbers and functions. We discuss how this allows efficient implementations of exact real numbers and also present a new real number system that is based on it.
متن کاملSub-computable Boundedness Randomness
This paper defines a new notion of bounded computable randomness for certain classes of sub-computable functions which lack a universal machine. In particular, we define such versions of randomness for primitive recursive functions and for PSPACE functions. These new notions are robust in that there are equivalent formulations in terms of (1) Martin-Löf tests, (2) Kolmogorov complexity, and (3)...
متن کاملThe History and Concept of Computability
We consider the informal concept of a “computable” or “effectively calculable” function on natural numbers and two of the formalisms used to define it, computability” and “(general) recursiveness.” We consider their origin, exact technical definition, concepts, history, how they became fixed in their present roles, and how they were first and are now used. All functions are on the nonnegative i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Inf. Process. Lett.
دوره 92 شماره
صفحات -
تاریخ انتشار 2004